Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🦀Rust Macros
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·3h·
Discuss: r/rust
Partial Evaluation
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Unification Algorithms
From CAP to GAP?
fsharpforfunandprofit.com·12h·
Discuss: DEV
🧪Testing Compilers
A sprinkle of Rust - bind, don't rewrite, in the age of MCP servers
medium.com·20h·
Discuss: r/rust
🚂Cranelift Backend
Unforgettable factory revisited
holyblackcat.github.io·14h·
Discuss: r/cpp
🪆Embedded DSLs
GaloisInc/parameterized-utils
github.com·2d
📏Linear Haskell
Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
🌱Minimal Lisps
A Gaussian Leftover Hash Lemma for Modules over Number Fields
eprint.iacr.org·3d
🔢Algebraic Datatypes
Item Patterns and Struct Await
noratrieb.dev·13h·
Discuss: Hacker News
🛡️Error Handling
React Native's Hidden Gem: useMemo & useCallback - Stop Re-rendering Everything! 🚀
dev.to·10h·
Discuss: DEV
🌊Gradual Effects
Iterated Development and Study of Schemers (IDSS)
lesswrong.com·4h
🏰Capability Machines
Experimenting with ACL2 and Claude Code
mikedodds.org·7h·
Discuss: Hacker News
💬Interactive REPLs
Python 3.14 brings template string literals, free-threading, and stdlib subinterpreters
alternativeto.net·1d
Incremental Parsing
Understanding From and Into Traits in Rust
dev.to·1d·
Discuss: DEV
🛡️Error Handling
An enough week
blog.mitrichev.ch·23h·
🌲Deforestation
Toy Binary Decision Diagrams
philipzucker.com·4d
Type Checking
What is Dependency Injection in Laravel?
laravel.com·18h·
Discuss: DEV
🔧API Design
Effects in Rust (and Koka)
aloso.foo·19h·
Discuss: r/rust
Algebraic Effects
When Python can't thread: a deep-dive into the GIL's impact
pythonspeed.com·8h·
Discuss: Hacker News
🔗Concurrency Primitives